Mirrored Language Structure and Innate Logic of the Human Brain as a Computable Model of the Oracle Turing Machine
نویسنده
چکیده
We wish to present a mirrored language structure (MLS) and four logic rules determined by this structure for the model of a computable Oracle Turing machine. MLS has novel features that are of considerable biological and computational significance. It suggests an algorithm of relation learning and recognition (RLR) that enables the deterministic computers to simulate the mechanism of the Oracle Turing machine, or P = NP in a mathematical term.
منابع مشابه
Computability and Differential Fields: a Tutorial
Computability theory applies a rigorous definition of the notion of an algorithm to determine which mathematical functions can be computed and which cannot. The main concepts in this area date back to Alan Turing, who during the 1930’s gave the definition of what is now called a Turing machine, along with its generalization, the oracle Turing machine. In the ensuing seventy years, mathematician...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملComputable Scientists, Uncomputable World
(This talk is a joint work of Edwin Beggs, José Félix Costa and John V. Tucker.) Consider the classical model of a Turing machine with an oracle. The classical oracle is a one step external consultation device. The oracle may contain either non-computable information, or computable information provided just to speed up the computations of the Turing machine. In this talk we will consider the ab...
متن کاملMULTI CLASS BRAIN TUMOR CLASSIFICATION OF MRI IMAGES USING HYBRID STRUCTURE DESCRIPTOR AND FUZZY LOGIC BASED RBF KERNEL SVM
Medical Image segmentation is to partition the image into a set of regions that are visually obvious and consistent with respect to some properties such as gray level, texture or color. Brain tumor classification is an imperative and difficult task in cancer radiotherapy. The objective of this research is to examine the use of pattern classification methods for distinguishing different types of...
متن کاملTruth and Turing: Systems of Logic based on Ordinals We should like to link Turing’s construction in Systems of Logic based on Ordinals on progressions of theories, with some recent similar looking progressions of axiomatisations
We should like to link Turing’s construction in Systems of Logic based on Ordinals on progressions of theories, with some recent similar looking progressions of axiomatisations of truth sets. However we first set the scene by sketching the original paper. It is interesting for two fundamental reasons. Firstly he introduces, in a rather understated fashion, the notion of a variant of his origina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1006.2495 شماره
صفحات -
تاریخ انتشار 2010